Llistar TÃtols
S'ha trobat un Ãtem:
Format | Data | TÃtol | Autor |
---|---|---|---|
Format | Data | TÃtol | Autor |
![]() |
15 novembre 2018 | SMT techniques for planning problems | Espasa Arxer, Joan |
S'ha trobat un Ãtem:
Format | Data | TÃtol | Autor |
---|---|---|---|
Format | Data | TÃtol | Autor |
![]() |
15 novembre 2018 | SMT techniques for planning problems | Espasa Arxer, Joan |
Planificación numérica Planificació automà tica Automated planning Numeric planning Lógica aplicada Planificación automática Satisfiability modulo theories
Villaret i Ausellé, Mateu Bofill Arasa, Miquel Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica (2013-) Espasa Arxer, Joan